#include "PDTExpBoolSing.h"
#include "PDTCodeGraph.h"


PDTExpBoolSing::PDTExpBoolSing(PDTCodeGraph & CG):PDTExpBool(CG){
}
